Checked coverage: an indicator for oracle quality
نویسندگان
چکیده
منابع مشابه
Checked coverage: an indicator for oracle quality
A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In this paper, we introduce the concept of checked coverage—the dynamic slice of covered statements that actually influence an oracle. Our experiments on seven open-source projects show that checked coverage is a sure indicat...
متن کاملA Machine-Checked Formalization of the Random Oracle Model
Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to abandon the perfect cryptography hypothesis and reason about the computational cost of breaking a cryptographic scheme by...
متن کاملEffective cataract surgical coverage: An indicator for measuring quality-of-care in the context of Universal Health Coverage
OBJECTIVE To define and demonstrate effective cataract surgical coverage (eCSC), a candidate UHC indicator that combines a coverage measure (cataract surgical coverage, CSC) with quality (post-operative visual outcome). METHODS All Rapid Assessment of Avoidable Blindness (RAAB) surveys with datasets on the online RAAB Repository on April 1 2016 were downloaded. The most recent study from each...
متن کاملSLOPE PROFILE MORPHOMETRY AS AN INDICATOR FOR SLOPE MOVEMENT
Two dimensional slope profile morphometric investigation in a part of the land failure prone Garhwal region of the Lesser Himalaya, Tehri district, U. P., India, indicates that the landslip morphology is closely related to the dominant movement processes active in this terrain. Technique developed for the morphometric analysis of landslips involves the use of five morphometric indices. Each ind...
متن کاملThe Growth of Medical Articles: An Indicator for Research Evaluation
This article has no abstract.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Testing, Verification and Reliability
سال: 2013
ISSN: 0960-0833
DOI: 10.1002/stvr.1497